Truth Maintenance Systems for Problem Solving
نویسنده
چکیده
Th is summarizes the fu l l report (Jon Doyle, "T ru th Maintenance Systems for Problem Solving," M I T AI Lab TR419) which describes progress that has been made in the abil i ty of a computer system to understand and reason about its own reasoning faculties. A new method for representing knowledge about beliefs has been developed. This representation, called a non-monotonic dependency system, extends and clarifies several similar previous representation forms for such knowledge, and has been employed in developing new strategies for representing assumptions, backtracking, and controlling problem solving systems.
منابع مشابه
Using Truth Maintenance Systems to Solve the Data Consistency Problem
Next generation reasoning systems will consist of several domain specific problem solvers that cooperate to solve a general problem. These problem solvers will need to use database systems to retrieve domain specific data and perhaps to communicate with each other. Given the dynamic nature of database systems we need to make sure that the data retrieved by a problem solver remains both consiste...
متن کاملRepresenting Actions with an Assumption-Based Truth Maintenance System
The Assumption-based Truth Maintenance System, introduced by de Kleer, is a powerful new tool for organizing a search through a space of alternatives. However, the ATMS is oriented towards inferential problem solving, and provides no special mechanisms for modeling actions or state changes. We describe an approach to applying the ATMS to the task of representing the effects of actions. The appr...
متن کاملApplication of Constraint Networks Filtering Techniques to Truth Maintenance Systems
A truth maintenance system (TMS) is a general problem solving facility designed to work in tandem with an inference engine. Justification-based TMSs (the most commonly used TMSs) have not a sufficient expressive power for many applications. Logic-based TMSs overcome this limitation but are untractable. So, McAllester, or Forbus and de Kleer, have proposed to encode formulae in clauses and to ru...
متن کاملTruth Maintenanoe Systems for Problem Solving
This report describes progress that has been made in the ability of a computer system to understand and reason about its own reasoning faculties. A new method for representing knowledge about beliefs has been developed. This representation, called a non-monotonic dependency system, extends several similar previous representation forms for such knowledge, and has been employed in developing new ...
متن کاملAn Algebraic Foundation for Truth Maintenance
We have recast the problem of t ru th maintenance in a setting of algebraic equations over Boolean lattices. If a method of labeling propositions to justi fy them according to some reasoning agent's constraints of belief happens to conform to the postulates of Boolean lattices, the labeling system can be reformulated as an algebraic equation solving system. A l l t ru th maintenance systems kno...
متن کامل